$\forall$$a$, $b$, $n$:$\mathbb{Z}$. ($a$ $<$ $b$) $\Leftarrow\!\Rightarrow$ (($a$+$n$) $<$ ($b$+$n$))